V[1]
A wide-spectrum language used in the knowledge-based environment CHI.
"Research on Knowledge-Based Software Environments at Kestrel Inst", D. R. Smith et al, IEEE Transactions on Software Engineering SE-11(11):1278-1295 (1985).